Show that the limit formula works for products in Set
The diagram, whose limit is a product, is \(\mathcal{J}=\boxed{\overset{v}\bullet\ \overset{w}\bullet}\) (see Exaample 3.94)
\(V=\{v,w\}, A=\varnothing\)
The second condition of the set comprehension is vacuously satisfied because \(A = \varnothing\)
So all we have left is all pairs of tuples where the first element comes from \(D(v)\) and the second element comes from the set \(D(w)\).
This is the Cartesian product \(D(v) \times D(w)\)